Haskell Curry

Haskell Curry

Biografia
Naixement	(en) Haskell Brooks Curry 12 setembre 1900 Millis (Massachusetts)
Mort	1r setembre 1982 (81 anys) State College (Pennsilvània)
President Association for Symbolic Logic
1938 – 1940 ← Curt John Ducasse – Cooper Harold Langford →
Dades personals
Formació	Universitat de Göttingen (1928–1930) Universitat Harvard (1922–1924) Institut de Tecnologia de Massachusetts (1920–1922) Universitat Harvard (1916–1920)
Tesi acadèmica	Grundlagen der Kombinatorischen Logik  (1930 )
Director de tesi	David Hilbert
Activitat
Ocupació	matemàtic, professor d'universitat, filòsof, informàtic
Ocupador	Universitat d'Amsterdam, professor ordinari neerlandès. Facultat de Matemàtiques i Ciències Naturals (1966–1970) , emèrit Universitat Estatal de Pennsilvània (1930–1966) Universitat de Princeton (1927–1928)
Professors	Paul Bernays
Influències	Alfred North Whitehead
Obra
Obres destacables Correspondència Curry-Howard Paradoxa de Curry Currificació
Estudiant doctoral	Hilbert Levitz, Jonathan Seldin, Edward Cogan, Kenneth Loewen, Luis Sanchis, Bruce Lercher i Maarten Bunder
Família
Cònjuge	Mary Virginia Wheatley
Pares	Samuel Silas Curry   i Anna Baright Curry

Haskell Curry (anglès: Haskell Brooks Curry) (Millis, 12 de setembre de 1900 - State College, 1 de setembre de 1982) va ser un matemàtic i lògic estatunidenc. Curry és conegut pel seu treball en la lògica combinatòria, mentre que el concepte inicial de la lògica combinatòria es basa en un document de Moisès Schönfinkel, gran part del desenvolupament va ser realitzat per Curry. Curry és també conegut per la paradoxa de Curry^[1] i la correspondència Curry-Howard.

Hi ha tres llenguatges de programació que porten el seu nom, Haskell, Brooks i Curry, així com el concepte de Currificació, una tècnica utilitzada per a la transformació de funcions en matemàtiques i ciències de la computació.